Tuosto, Emilio : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Semantics of global view of choreographies

Tuosto, Emilio, Guanciale, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2017

Langue:

english

Fichier:

PDF, 685 KB

english, 2017

2

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) ||

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 22.63 MB

english, 2019

3

Realisability of pomsets

Guanciale, Roberto, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2019

Langue:

english

Fichier:

PDF, 853 KB

english, 2019

4

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2021

Fichier:

PDF, 807 KB

2021

5

An Observational Model for Spatial Logics

Emilio Tuosto, Hugo Torres Vieira

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 475 KB

english, 2006

6

A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 526 KB

english, 2006

7

Preface

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 106 KB

english, 2009

8

A Coordination-based Methodology for Security Protocol Verification

Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 393 KB

english, 2005

9

A symbolic framework for multi-faceted security protocol analysis

Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

International Journal of Information Security

Année:

2008

Langue:

english

Fichier:

PDF, 844 KB

english, 2008

10

Tarzan: Communicating and Moving in Wireless Jungles

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 376 KB

english, 2005

11

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 613 KB

english, 2005

12

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 8379 || Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Tuosto, Emilio, Ouyang, Chun

Année:

2014

Langue:

english

Fichier:

PDF, 2.15 MB

english, 2014

13

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Ali, Nour, Tuosto, Emilio

Année:

2011

Langue:

english

Fichier:

PDF, 556 KB

english, 2011

14

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias, Kyriakos, Tuosto, Emilio

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2015

15

Attribute-based transactions in service oriented computing

BOCCHI, LAURA, TUOSTO, EMILIO

Journal:

Mathematical Structures in Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 689 KB

english, 2015

16

Preface

Lluch Lafuente, Alberto, Tuosto, Emilio

Journal:

Service Oriented Computing and Applications

Année:

2015

Langue:

english

Fichier:

PDF, 305 KB

english, 2015

17

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Année:

2015

Langue:

english

Fichier:

PDF, 889 KB

english, 2015

18

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - A debugging calculus for mobile ambients

Ferrari, GianLuigi, Tuosto, Emilio

Année:

2001

Langue:

english

Fichier:

PDF, 165 KB

english, 2001

19

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Année:

2016

Langue:

english

Fichier:

PDF, 405 KB

english, 2016

20

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Choreography-Based Analysis of Distributed Message Passing Programs

Taylor, Ramsay, Tuosto, Emilio, Walkinshaw, Neil, Derrick, John

Année:

2016

Langue:

english

Fichier:

PDF, 1005 KB

english, 2016

21

From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Journal:

ACM SIGPLAN Notices

Année:

2015

Langue:

english

Fichier:

PDF, 889 KB

english, 2015

22

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 484 KB

english, 2019

23

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Towards Races in Linear Logic

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 1.55 MB

english, 2019

24

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || No More, No Less

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2019

25

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Self-organising Coordination Regions: A Pattern for Edge Computing

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 2.66 MB

english, 2019

26

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Representing Dependencies in Event Structures

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 313 KB

english, 2019

27

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Langue:

english

Fichier:

PDF, 684 KB

english, 2019

28

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Année:

2019

Fichier:

PDF, 684 KB

2019